declare function judgeWX(): boolean;